Notes on Category Theory
نویسنده
چکیده
منابع مشابه
Towards a Readable Formalisation of Category Theory
We formally develop category theory up to Yoneda’s lemma, using Isabelle/HOL/Isar, and survey previous formalisations. By using recently added Isabelle features, we have produced a formal text that more closely approximates informal mathematics.
متن کاملNotes and Exercises on ∞-categories
These notes are designed to accompany the lectures given by the author in the Geometric Langlands Seminar at the University of Chicago in the autumn quarter of 2007. The goal of the lectures was to give a brief introduction to J. Lurie’s work on ∞-categories. In the notes we provide some additional background from category theory and homotopy theory, as well as an extensive collection of exerci...
متن کاملM275 Notes 1.2 Category Theory
Lecture notes from M275 at SJSU, a graduate-level course at SJSU in Algebraic Topology taught by Professor Richard Kulbelka. These notes were taken using Vim and/or GVim equipped with L A T E X-Suite, which sped up typesetting significantly; latexmk with the flag-pvc was useful for compiling these notes in real-time. 1.1 The Question Question. Given two topological spaces, can we determine if t...
متن کاملFoundations of Vagueness : a Category-theoretic Approach
The idea that vagueness has its origin in indiscernibility is not new. In this paper, we have tried to establish this thesis on a category-theoretic basis. In the process some other related notions, e.g. property, have been clari ed.
متن کاملRealizability as the Connection between Computable and Constructive Mathematics
These are lecture notes for a tutorial seminar which I gave at a satellite seminar of “Computability and Complexity in Analysis 2004” in Kyoto. The main message of the notes is that computable mathematics is the realizability interpretation of constructive mathematics. The presentation is targeted at an audience which is familiar with computable mathematics but less so with constructive mathema...
متن کامل